Search Results
Formal Verification of Smart Contracts: Dr. Christian Reitwiessner - IC3-Ethereum Crypto Boot Camp
“Ethereum Smart Contracts” – Dr Christian Reitwiessner
Formal Verification of Smart Contracts - Yoichi Hirai
Truebit - Trying to Fool a Blockchain - Dr Christian Reitwiessner
Formal Verification for Solidity
Bas Spitters: Smart Contracts and Formal Verification for the Blockchain
Formal Verification of Smart Contracts and Protocols: What, Why, How (Devcon5)
Dr. Christian Reitwiessner // // An Ethereum Interview Series @Devcon3
Imandra Contracts Formal Verification for Ethereum - Dr. Grant Passmore and Evgeny Gokhberg
Formal Verification Workshop Part 2
Formal verification of smart contracts
DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore
